|
|
Registro Completo |
Biblioteca(s): |
Embrapa Recursos Genéticos e Biotecnologia. |
Data corrente: |
09/04/2008 |
Data da última atualização: |
12/04/2008 |
Tipo da produção científica: |
Capítulo em Livro Técnico-Científico |
Autoria: |
PAULA-MORAES, S. V.; de OLIVEIRA, M. R. V.; NÁVIA, D.; PINHEIRO, F. |
Afiliação: |
Silvana Vieira de Paula-Moraes, Embrapa Cerrados; Maria Regina Vilarinho de Oliveira, Embrapa Recursos Genéticos e Biotecnologia; Denise Návia Magalhães Ferreira, Embrapa Recursos Genéticos e Biotecnologia; Fernanda Patrícia Pinheiro Lopes, Ministério do Meio Ambiente. |
Título: |
Chilo partellus (Swinhoe). |
Ano de publicação: |
2007 |
Fonte/Imprenta: |
In: OLIVEIRA, M. R. V. de; PAULA MORAES, S. V. de (Ed.). Lepidópteras quarentenárias para o Brasil: subsídios para identificação e análise de risco de pragas. Brasília, DF: Embrapa Recursos Genéticos e Biotecnologia; Planaltina, DF: Embrapa Cerrados, 2007. 295 p. |
Páginas: |
p. 57-67. |
Idioma: |
Português |
Palavras-Chave: |
Asian maize stalk borer; Broca asiática do colmo do milho; Chilo partellus (Swinhoe); Insetcts; Plant diseases. |
Thesagro: |
Doença de Planta; Inseto; Praga. |
Thesaurus Nal: |
Lepidoptera; pests. |
Categoria do assunto: |
-- |
Marc: |
LEADER 00947naa a2200277 a 4500 001 1189883 005 2008-04-12 008 2007 bl uuuu u00u1 u #d 100 1 $aPAULA-MORAES, S. V. 245 $aChilo partellus (Swinhoe). 260 $c2007 300 $ap. 57-67. 650 $aLepidoptera 650 $apests 650 $aDoença de Planta 650 $aInseto 650 $aPraga 653 $aAsian maize stalk borer 653 $aBroca asiática do colmo do milho 653 $aChilo partellus (Swinhoe) 653 $aInsetcts 653 $aPlant diseases 700 1 $ade OLIVEIRA, M. R. V. 700 1 $aNÁVIA, D. 700 1 $aPINHEIRO, F. 773 $tIn: OLIVEIRA, M. R. V. de; PAULA MORAES, S. V. de (Ed.). Lepidópteras quarentenárias para o Brasil: subsídios para identificação e análise de risco de pragas. Brasília, DF: Embrapa Recursos Genéticos e Biotecnologia; Planaltina, DF: Embrapa Cerrados, 2007. 295 p.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Recursos Genéticos e Biotecnologia (CENARGEN) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
| Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br. |
Registro Completo
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
09/08/1993 |
Data da última atualização: |
09/08/1993 |
Autoria: |
EVANGELISTA, S. R. M. |
Afiliação: |
Embrapa-CNPTIA. |
Título: |
Abstração funcional de programas: uma contribuição ao entendimento do código fonte de um programa. |
Ano de publicação: |
1992 |
Fonte/Imprenta: |
1992. |
Páginas: |
208 f. |
Idioma: |
Português |
Notas: |
Dissertação (Mestrado em Engenharia Elétrica) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Campinas. |
Conteúdo: |
Este trabalho tem por objetivo desenvolver e implementar um modelo para abstração funcional de programas, a qual e definida nesta pesquisa com a precisa determinação do efeito de um programa sobre as suas variáveis em todas as situações possíveis. O modelo de abstração funcional proposto e fundamentado na segmentação do programa alvo em termos de suas variáveis relevantes para abstração, na sua decomposição em primos, na simplificação algébrica dos comandos de decisão do programa, na execução simbólica e no uso das técnicas de "Trace-Table" e de resolução das relações de recorrência em interações. Este modelo de abstração é validado e consolidado através da implementação de uma ferramenta que utiliza o código fonte como única fonte de informação, gera uma forma intermediária do programa para facilitar a atividade de abstração,segmenta o programa em função de suas variáveis relevantes para abstração, decompõe o segmento encontrado em programas primos e sintetiza cada um dos primos. Este trabalho contribuiu para a definição de um modelo de abstração funcional promissor em relação ao seu potencial de automatização, bem como a sua aplicabilidade. |
Palavras-Chave: |
Abstração funcional de programa; Abstração Funcional- Processamento de Dado; Algorithm; Algoritmo; Data processing; Engenharia de Software. |
Thesaurus NAL: |
engineering. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01976nam a2200217 a 4500 001 1001458 005 1993-08-09 008 1992 bl uuuu m 00u1 u #d 100 1 $aEVANGELISTA, S. R. M. 245 $aAbstração funcional de programas$buma contribuição ao entendimento do código fonte de um programa. 260 $a1992.$c1992 300 $a208 f. 500 $aDissertação (Mestrado em Engenharia Elétrica) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Campinas. 520 $aEste trabalho tem por objetivo desenvolver e implementar um modelo para abstração funcional de programas, a qual e definida nesta pesquisa com a precisa determinação do efeito de um programa sobre as suas variáveis em todas as situações possíveis. O modelo de abstração funcional proposto e fundamentado na segmentação do programa alvo em termos de suas variáveis relevantes para abstração, na sua decomposição em primos, na simplificação algébrica dos comandos de decisão do programa, na execução simbólica e no uso das técnicas de "Trace-Table" e de resolução das relações de recorrência em interações. Este modelo de abstração é validado e consolidado através da implementação de uma ferramenta que utiliza o código fonte como única fonte de informação, gera uma forma intermediária do programa para facilitar a atividade de abstração,segmenta o programa em função de suas variáveis relevantes para abstração, decompõe o segmento encontrado em programas primos e sintetiza cada um dos primos. Este trabalho contribuiu para a definição de um modelo de abstração funcional promissor em relação ao seu potencial de automatização, bem como a sua aplicabilidade. 650 $aengineering 653 $aAbstração funcional de programa 653 $aAbstração Funcional- Processamento de Dado 653 $aAlgorithm 653 $aAlgoritmo 653 $aData processing 653 $aEngenharia de Software
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|